Performance Certification of Software Components
نویسندگان
چکیده
منابع مشابه
Certification of Software Components
Reuse is becoming one of the key areas in dealing with the cost and quality of software systems. An important issue is the reliability of the components, hence making certification of software components a critical area. The objective of this article is to try to describe methods that can be used to certify and measure the ability of software components to fulfil the reliability requirements pl...
متن کاملDependability certification of software components
Software components need a uniform approach for rating their quality. The need for this stems from a licensee's inaccessibility to the source code as well as other information concerning how thoroughly the component was validated. This paper proposes a \Test Quality Rating" metric that will act as a component's dependability \score." We envision a process whereby a software publisher submits a ...
متن کاملReliability certification of software components
Reuse is pinpointed as a key factor to improve productivity and reliability of software systems. Verification and validation of software components and the resulting system is important for reuse to be beneficial on a broad industrial basis. This paper suggests a modelling approach which is suitable for reliability certification of modular systems. It discusses a general reliability certificati...
متن کاملCertification of Software Components for Reuse
Certification is the process of verifying a property value associated with something, and providing a certificate to be used as proof of validity. Commercial software could be tagged with certificates that define minimal guarantees about how a software “unit” will behave in the future and under what assumptions it will behave in those manners. A software quality certificate is simply a fact she...
متن کاملTowards Formal Certification of Software Components
Software certification as it is practised today guarantees that certain standards are kept in the process of software development. However, this does not make any statements about the actual quality of implemented code. We propose an approach to certify the non-functional properties of componentbased software which is based on a formal refinement calculus, using the performance abstractions of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2011
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.11.010